プロセスと同期(4) Knuthのアルゴリズム